Automated Generic Support for Software Inspection

Software inspection is a widely used method for finding defects in all types of software development documents. Many process variations exist, each designed for use under certain circumstances or to address some perceived fault in existing methods. A desirable attribute of inspection is rigour, allowing the use of historical data to predict future performance and suggest process improvements. Recent work in tool support for inspection is designed to tackle the issue of enforcing rigorous inspection, but these tools concentrate on enforcing a single, usually proprietary, method. This paper investigates existing inspection methods and derives a generic inspection process which can be used to describe any of these methods. This process is then used to determine a notation for describing any inspection process, which can consequently be used as input to an inspection support tool, allowing the support of any inspection method. The paper also demonstrates a system which uses the language to provide support for multiple inspection processes, and describes other desirable features of such a tool. Department of Computer Science, University of Strathclyde, Livingstone Tower, Richmond Street, Glasgow, G1 1XH, U.K., +44 (0)141 552 4400, [email protected] RR-96-198 [EFoCS-21-96] University of Strathclyde